<?php echo json_encode($json); ?>